CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Derivation and Computation Taking the Curry-Howard Correspondence Seriously
Derivation and Computation Taking the Curry-Howard Correspondence Seriously by Simmons, H., Abramsky, S., ... ISBN: 9780521771733 List Price: $168.00
$142.30 (Save 15%)
2.
Concurrency Verification Introduction to Compositional and Noncompositional Methods
Concurrency Verification Introduction to Compositional and Noncompositional Methods by De Roever, W. P., Abramsky,... ISBN: 9780521806084 List Price: $252.00
$103.44 (Save 58%)